Merge branch 'rename-theme-resources' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 27 Mar 2020 16:37:31 +0000 (16:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 27 Mar 2020 16:37:31 +0000 (16:37 +0000)
commit8997dc6f31a5ac9b5d72fe34f96fc64fd95e8c6a
treef0e6f2e654a0741846161a04f8c8a9179aa363ee
parent9f72f4225dd74179ce411b6f30944f577148b21f
parentf1003d6ae88cfbd36cb6fe105b46244d1eecd738
Merge branch 'rename-theme-resources' into 'master'

Rename GResources for standard GTK themes

See merge request GNOME/gtk!1576